Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Alessandro Armando »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Alessandra Persico < Alessandro Armando < Alessandro Cappai  Facettes :

List of bibliographic references indexed by Alessandro Armando

Number of relevant bibliographic references: 28.
[0-20] [0 - 20][0 - 28][20-27][20-40]
Ident.Authors (with country if any)Title
001B97 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
003759 (2009) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]New results on rewrite-based satisfiability procedures
005979 (2005-07) Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France]The AVISPA Tool for the automated validation of internet security protocols and applications
005D45 (2005) Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications
006203 (2005) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [France]R ewrite and D ecision Procedure L aboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
006222 (2005) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
006302 (2005) Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse]Automated Reasoning for Security Protocol Analysis
007997 (2003) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Pierre Ganty [Italie]SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
007B76 (2003) Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]A rewriting approach to satisfiability procedures
008003 (2002-07) Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008594 (2002) Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent VigneronThe AVISS Security Protocol Analysis Tool
008734 (2002) Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Sebastian Mödersheim [Allemagne] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigan [Allemagne] ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool
008C62 (2001-09) Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France]Uniform Derivation of Decision Procedures by Superposition
008D25 (2001-02) Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France]Incorporating Decision Procedures in Implicit Induction
008F49 (2001) Alessandro Armando ; Michael Rusinowitch ; Sorin StratulatIncorporating Decision Procedures in Implicit Induction
008F50 (2001) Alessandro Armando ; Michael Rusinowitch ; Sorin StratulatIncorporating Decision Procedures in Implicit Induction
009040 (2001) Alessandro Armando ; Silvio Ranise ; Michael RusinowitchUniform Derivation of Decision Procedures by Superposition
009256 (2001) Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France]Uniform Derivation of Decision Procedures by Superposition
009266 (2001) Alessandro Armando [Italie] ; Felice Peccia [Italie] ; Silvio Ranise [Italie, France]The Phase Transition of the Linear Inequalities Problem
009268 (2001) Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
009273 (2001) Alessandro Armando [Italie] ; Luca Compagna [Italie] ; Silvio Ranise [Italie, France]System Description: RDL Rewrite and Decision Procedure Laboratory

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Alessandro Armando" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Alessandro Armando" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Alessandro Armando
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022